(set-logic QF_LRA)
(assert (< 0 (+ 1.23 2)))
(assert (< 0 (+ 0.123 2)))
(assert (< 0 (+ 12.34 2)))
(assert (< 0 (+ 1 2)))
(assert (< 0 (+ 10 2)))
(assert (< 0 (+ 1.2300 2)))
(assert (< 0 (+ 1.23001 2)))
(check-sat)
(exit)
